Optimal. Leaf size=166 \[ -\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{2 b c d e \log (d+e x)}{c^2 d^4-e^4}-\frac{b c d \log \left (1-c x^2\right )}{2 e \left (c d^2-e^2\right )}+\frac{b c d \log \left (c x^2+1\right )}{2 e \left (c d^2+e^2\right )}+\frac{b \sqrt{c} \tan ^{-1}\left (\sqrt{c} x\right )}{c d^2+e^2}-\frac{b \sqrt{c} \tanh ^{-1}\left (\sqrt{c} x\right )}{c d^2-e^2} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.278595, antiderivative size = 166, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 7, integrand size = 18, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.389, Rules used = {6273, 12, 6725, 635, 207, 260, 203} \[ -\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{2 b c d e \log (d+e x)}{c^2 d^4-e^4}-\frac{b c d \log \left (1-c x^2\right )}{2 e \left (c d^2-e^2\right )}+\frac{b c d \log \left (c x^2+1\right )}{2 e \left (c d^2+e^2\right )}+\frac{b \sqrt{c} \tan ^{-1}\left (\sqrt{c} x\right )}{c d^2+e^2}-\frac{b \sqrt{c} \tanh ^{-1}\left (\sqrt{c} x\right )}{c d^2-e^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 6273
Rule 12
Rule 6725
Rule 635
Rule 207
Rule 260
Rule 203
Rubi steps
\begin{align*} \int \frac{a+b \tanh ^{-1}\left (c x^2\right )}{(d+e x)^2} \, dx &=-\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{b \int \frac{2 c x}{(d+e x) \left (1-c^2 x^4\right )} \, dx}{e}\\ &=-\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{(2 b c) \int \frac{x}{(d+e x) \left (1-c^2 x^4\right )} \, dx}{e}\\ &=-\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{(2 b c) \int \left (-\frac{d e^3}{\left (-c^2 d^4+e^4\right ) (d+e x)}+\frac{e-c d x}{2 \left (c d^2-e^2\right ) \left (-1+c x^2\right )}+\frac{e+c d x}{2 \left (c d^2+e^2\right ) \left (1+c x^2\right )}\right ) \, dx}{e}\\ &=-\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{2 b c d e \log (d+e x)}{c^2 d^4-e^4}+\frac{(b c) \int \frac{e-c d x}{-1+c x^2} \, dx}{e \left (c d^2-e^2\right )}+\frac{(b c) \int \frac{e+c d x}{1+c x^2} \, dx}{e \left (c d^2+e^2\right )}\\ &=-\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{2 b c d e \log (d+e x)}{c^2 d^4-e^4}+\frac{(b c) \int \frac{1}{-1+c x^2} \, dx}{c d^2-e^2}-\frac{\left (b c^2 d\right ) \int \frac{x}{-1+c x^2} \, dx}{e \left (c d^2-e^2\right )}+\frac{(b c) \int \frac{1}{1+c x^2} \, dx}{c d^2+e^2}+\frac{\left (b c^2 d\right ) \int \frac{x}{1+c x^2} \, dx}{e \left (c d^2+e^2\right )}\\ &=\frac{b \sqrt{c} \tan ^{-1}\left (\sqrt{c} x\right )}{c d^2+e^2}-\frac{b \sqrt{c} \tanh ^{-1}\left (\sqrt{c} x\right )}{c d^2-e^2}-\frac{a+b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}+\frac{2 b c d e \log (d+e x)}{c^2 d^4-e^4}-\frac{b c d \log \left (1-c x^2\right )}{2 e \left (c d^2-e^2\right )}+\frac{b c d \log \left (1+c x^2\right )}{2 e \left (c d^2+e^2\right )}\\ \end{align*}
Mathematica [A] time = 0.356395, size = 261, normalized size = 1.57 \[ \frac{1}{2} \left (-\frac{2 a}{e (d+e x)}+\frac{b c^2 d^3 \log \left (c x^2+1\right )}{c^2 d^4 e-e^5}-\frac{b c d e \log \left (1-c^2 x^4\right )}{c^2 d^4-e^4}+\frac{4 b c d e \log (d+e x)}{c^2 d^4-e^4}+\frac{b \sqrt{c} \left (c^{3/2} d^3-c d^2 e-e^3\right ) \log \left (1-\sqrt{c} x\right )}{e^5-c^2 d^4 e}+\frac{b \sqrt{c} \left (c^{3/2} d^3+c d^2 e+e^3\right ) \log \left (\sqrt{c} x+1\right )}{e^5-c^2 d^4 e}+\frac{2 b \sqrt{c} \tan ^{-1}\left (\sqrt{c} x\right )}{c d^2+e^2}-\frac{2 b \tanh ^{-1}\left (c x^2\right )}{e (d+e x)}\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.034, size = 181, normalized size = 1.1 \begin{align*} -{\frac{a}{ \left ( ex+d \right ) e}}-{\frac{b{\it Artanh} \left ( c{x}^{2} \right ) }{ \left ( ex+d \right ) e}}+{\frac{bcd\ln \left ( c{x}^{2}+1 \right ) }{e \left ( 2\,c{d}^{2}+2\,{e}^{2} \right ) }}+2\,{\frac{b\sqrt{c}\arctan \left ( x\sqrt{c} \right ) }{2\,c{d}^{2}+2\,{e}^{2}}}-{\frac{bcd\ln \left ( c{x}^{2}-1 \right ) }{e \left ( 2\,c{d}^{2}-2\,{e}^{2} \right ) }}-2\,{\frac{b\sqrt{c}{\it Artanh} \left ( x\sqrt{c} \right ) }{2\,c{d}^{2}-2\,{e}^{2}}}+2\,{\frac{becd\ln \left ( ex+d \right ) }{ \left ( c{d}^{2}-{e}^{2} \right ) \left ( c{d}^{2}+{e}^{2} \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 26.8824, size = 1350, normalized size = 8.13 \begin{align*} \left [-\frac{2 \, a c^{2} d^{4} - 2 \, a e^{4} - 2 \,{\left (b c d^{3} e - b d e^{3} +{\left (b c d^{2} e^{2} - b e^{4}\right )} x\right )} \sqrt{c} \arctan \left (\sqrt{c} x\right ) +{\left (b c d^{3} e + b d e^{3} +{\left (b c d^{2} e^{2} + b e^{4}\right )} x\right )} \sqrt{c} \log \left (\frac{c x^{2} + 2 \, \sqrt{c} x + 1}{c x^{2} - 1}\right ) -{\left (b c^{2} d^{4} - b c d^{2} e^{2} +{\left (b c^{2} d^{3} e - b c d e^{3}\right )} x\right )} \log \left (c x^{2} + 1\right ) +{\left (b c^{2} d^{4} + b c d^{2} e^{2} +{\left (b c^{2} d^{3} e + b c d e^{3}\right )} x\right )} \log \left (c x^{2} - 1\right ) - 4 \,{\left (b c d e^{3} x + b c d^{2} e^{2}\right )} \log \left (e x + d\right ) +{\left (b c^{2} d^{4} - b e^{4}\right )} \log \left (-\frac{c x^{2} + 1}{c x^{2} - 1}\right )}{2 \,{\left (c^{2} d^{5} e - d e^{5} +{\left (c^{2} d^{4} e^{2} - e^{6}\right )} x\right )}}, -\frac{2 \, a c^{2} d^{4} - 2 \, a e^{4} - 2 \,{\left (b c d^{3} e + b d e^{3} +{\left (b c d^{2} e^{2} + b e^{4}\right )} x\right )} \sqrt{-c} \arctan \left (\sqrt{-c} x\right ) -{\left (b c d^{3} e - b d e^{3} +{\left (b c d^{2} e^{2} - b e^{4}\right )} x\right )} \sqrt{-c} \log \left (\frac{c x^{2} + 2 \, \sqrt{-c} x - 1}{c x^{2} + 1}\right ) -{\left (b c^{2} d^{4} - b c d^{2} e^{2} +{\left (b c^{2} d^{3} e - b c d e^{3}\right )} x\right )} \log \left (c x^{2} + 1\right ) +{\left (b c^{2} d^{4} + b c d^{2} e^{2} +{\left (b c^{2} d^{3} e + b c d e^{3}\right )} x\right )} \log \left (c x^{2} - 1\right ) - 4 \,{\left (b c d e^{3} x + b c d^{2} e^{2}\right )} \log \left (e x + d\right ) +{\left (b c^{2} d^{4} - b e^{4}\right )} \log \left (-\frac{c x^{2} + 1}{c x^{2} - 1}\right )}{2 \,{\left (c^{2} d^{5} e - d e^{5} +{\left (c^{2} d^{4} e^{2} - e^{6}\right )} x\right )}}\right ] \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.17415, size = 366, normalized size = 2.2 \begin{align*} \frac{1}{2} \,{\left (\frac{c d \log \left (c - \frac{2 \, c d}{x e + d} + \frac{c d^{2}}{{\left (x e + d\right )}^{2}} + \frac{e^{2}}{{\left (x e + d\right )}^{2}}\right )}{c d^{2} e + e^{3}} - \frac{c d \log \left (c - \frac{2 \, c d}{x e + d} + \frac{c d^{2}}{{\left (x e + d\right )}^{2}} - \frac{e^{2}}{{\left (x e + d\right )}^{2}}\right )}{c d^{2} e - e^{3}} - \frac{e^{\left (-1\right )} \log \left (-\frac{c x^{2} + 1}{c x^{2} - 1}\right )}{x e + d} + \frac{2 \, c \arctan \left (\frac{{\left (c d - \frac{c d^{2}}{x e + d} + \frac{e^{2}}{x e + d}\right )} e^{\left (-1\right )}}{\sqrt{-c}}\right )}{{\left (c d^{2} - e^{2}\right )} \sqrt{-c}} + \frac{2 \, \sqrt{c} \arctan \left (\frac{{\left (c d - \frac{c d^{2}}{x e + d} - \frac{e^{2}}{x e + d}\right )} e^{\left (-1\right )}}{\sqrt{c}}\right )}{c d^{2} + e^{2}}\right )} b - \frac{a e^{\left (-1\right )}}{x e + d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]